<?
	require("library.php");
	echo addCounter($1);
?>